- core/exec/instructions.rst:
  + (notify) Error in html: 'You can't use 'macro parameter character #' in math mode
  + (wait) too long right side of formal rules
- core/exec/relaxed.rst (preliminary defs, nit picks):
  + add brackets due to ambiguous '=' signs in predicate definitions of overlapact, sameact, syncact
  + add linebreaks in some too long lines in rangeact, tearfreeact, \X{func}, syncact,
  + add brackets around 'otherwise' and '\iff ...', to match rest of spec
  + add several '~' to add missing space, after all '\iff'
  + add potentially forgotten '&&' before plain '\\'s
- core/exec/relaxed.rst (consistency, nit picks):
  + add several '~' to add missing space, after predicates consistentwith, suspensionsconsistentwith, readsfrom, valueconsistentwith, hbconsistentwith, sclastvisible, notear,
  + removed potentially misplaced '\,'
  + removed and added some arrays to make the lines less long